Superlinear Lower Bounds for Bounded-Width Branching Programs
نویسندگان
چکیده
We use algebraic techniques to obtain superlinear lower bounds on the size of bounded-width branching programs to solve a number of problems. In particular, we show that any bounded-width branching program computing a nonconstant threshold function has length (n log log n); improving on the previous lower bounds known to apply to all such threshold functions. We also show that any program over a nite solvable monoid computing products in a nonsolvable group has length (n log log n): This result is a step toward proving the conjecture that the circuit complexity class ACC 0 is properly contained in NC 1 : A preliminary version of this paper appeared in the Proceedings of the 1991 Structure in Complexity Theory Symposium. 1. The Main Results In this paper we describe a general algebraic technique for obtaining superlinear lower bounds on the length of bounded-width branching programs to solve certain problems. Our method is based on the interpretation, due to Barrington and Th erien 5] of these programs as generalizations of ordinary nite automata. We are thus able to apply the well-established connection between nite automata and nite monoids to branching programs. More precisely, we start from the simple algebraic fact that a homomorphism from a free monoid into a nite monoid N cannot simulate
منابع مشابه
Ramsey Theory and lower bounds for branching programs
A novel technique for obtaining lower bounds for the time versus space comp1exity of certain functions in a general input oblivious sequential model of computation is developed. This is demonstrated by studying the intrinsic complexity of the following set equality problem SE(n,m): Given a sequence x1 ,x2 ,· .• ,xn ' Yl'·· .'Yn of 2n numbers of m bits each, decide whether the sets (xl' ••• ,xnJ...
متن کاملBranching Programs Provide Lower Bounds on the Areas of Multilective Deterministic and Nondeterministic VLSI-Circuits
Each (nondeterministic) multilective VLSI-circuit C of area A can be simulated by an oblivious (disjunctive) branching program of width exp(O(A)) which has the same multiplicity of reading as C. That is why exponential lower bounds on the width of (disjunctive) oblivious branching programs of linear depth provide lower bounds of order Sl(nlm2’), 0 <a < i, on the area of (nondeterministic) multi...
متن کاملQuantum and Stochastic Branching Programs of Bounded Width
In this paper we show that one qubit polynomial time computations are at least as powerful as NC circuits. More precisely, we define syntactic models for quantum and stochastic branching programs of bounded width and prove upper and lower bounds on their power. We show any NC language can be accepted exactly by a width-2 quantum branching program of polynomial length, in contrast to the classic...
متن کاملLower Bound and Hierarchies for Quantum Ordered Read-k-times Branching Programs
We consider quantum version of known computational model Ordered Read-k-times Branching Programs or Ordered Binary Decision Diagrams with repeated test (k-QOBDD). We get lower bound for quantum k-OBDD for k = o( √ n). This lower bound gives connection between characteristics of model and number of subfunctions for function. Additionally, we prove the hierarchies for sublinear width bounded erro...
متن کاملOn the computational power of probabilistic and quantum branching program
In this paper we show that one-qubit polynomial time computations are as powerful as NC circuits. More generally, we define syntactic models for quantum and stochastic branching programs of bounded width and prove upper and lower bounds on their power. We show that any NC language can be accepted exactly by a width-2 quantum branching program of polynomial length, in contrast to the classical c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Comput. Syst. Sci.
دوره 50 شماره
صفحات -
تاریخ انتشار 1991